Which classical correspondence is valid in intuitionistic modal logic?
نویسندگان
چکیده
منابع مشابه
Which classical correspondence is valid in intuitionistic modal logic?
Modal logics reason about properties of relational structures, and such properties are often characterized by axioms of modal logics. This connection between properties of relational structures and axioms of modal logics are called correspondence, and has been investigated well in the classical setting. The problem we consider is an intuitionistic version of this correspondence. In particular, ...
متن کاملA modal logic amalgam of classical and intuitionistic propositional logic
We present a modal extension of classical propositional logic in which intuitionistic propositional logic is mirrored by means of the modal operator. In this sense, the modal extension combines classical and intuitionistic propositional logic avoiding the collapsing problem. Adopting ideas from a recent paper (S. Lewitzka, A denotational semantics for a Lewis-style modal system close to S1, 201...
متن کاملIntuitionistic Modal Logic
0 Intuitionistic modal logics originate from di erent sources and have di erent areas of application. They include philosophy (see e.g. Prior [1957], Ewald [1986], Williamson [1992]), the foundations of mathematics (Kuznetsov [1985], Kuznetsov and Muravitskij [1986]), and computer science (Plotkin and Stirling [1986], Stirling [1987], Wijesekera [1990]). Modalities are added to intuitionistic l...
متن کاملAlgorithmic correspondence for intuitionistic modal mu-calculus
In the present paper, the algorithmic correspondence theory developed in (Conradie and Palmigiano, 2012) is extended to mu-calculi with a non-classical base. We focus in particular on the language of bi-intuitionistic modal mu-calculus. We enhance the algorithm ALBA introduced in (Conradie and Palmigiano, 2012) so as to guarantee its success on the class of recursive muinequalities, which we in...
متن کاملWhich Modal Logic Is the Right One?
The question, “Which modal logic is the right one for logical necessity?,” divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argum...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2011
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzr044